We present a theory of conversation comprehension in which a line of the conversation is “understood” by relating it to one of seven possible “points”. We define these points, and present examples where it seems plausible that the failure to “get the point” would indeed constitute a failure to understand the conversation. We argue that the recognition of such points must proceed in both a top down and bottom up fashion, and thus is likely to be quite complicated. Finally, we (...) see the processing of information in the conversation to be dependent upon which point classification the user decides upon. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Jeffrey Collins’ new book aims to presents Locke’s views on religious toleration in the light of Thomas Hobbes’ political philosophy. At first blush, Hobbes seems an unusual choice as a point of co...

Based on a conference held Apr. 4-5, 2008 at Amherst College.

Based on a conference held Apr. 4-5, 2008 at Amherst College.

Variant Creutzfeldt–Jakob disease is a fatal, transmissible, neurodegenerative disorder for which there is currently no effective treatment. vCJD arose from the zoonotic spread of bovine spongiform encephalopathy. There is now compelling evidence for human to human transmission through blood transfusions from presymptomatic carriers and experts are warning that the real epidemic may be yet to come. Imperatives exist for the development of reliable, non-invasive presymptomatic diagnostic tests. Research into such tests is well advanced. In this article the ethical implications of (...) the availability of these tests are elaborated and comparisons drawn with predictive genetic testing for Huntington’s disease and screening for HIV. Paramount to considerations is the issue of whom to test, weighing up respect for personal autonomy against obligations to benefit and protect society. A paradigm is proposed similar to that used for HIV screening but with unique features: compulsory testing of all blood/organ donors and individuals undergoing surgery or invasive procedures who have a significant risk of disease transmission. (shrink)

In this paper we continue, from [2], the development of provably recursive analysis, that is, the study of real numbers defined by programs which can be proven to be correct in some fixed axiom system S. In particular we develop the provable analogue of an effective operator on the set C of recursive real numbers, namely, a provably correct operator on the set P of provably recursive real numbers. In Theorems 1 and 2 we exhibit a provably correct operator on (...) P which is discontinuous at 0; we thus disprove the analogue of the Ceitin-Moschovakis theorem of recursive analysis, which states that every effective operator on C is (effectively) continuous. Our final theorems show, however, that no provably correct operator on P can be proven (in S) to be discontinuous. (shrink)

We make two suggestions with regard to Depue & Collins's target article. First, regarding the functioning of MOC13, we provide data indicating that, contrary to D&C's apparent position, this structure is not necessary for instrumental conditioning. Second, we suggest that D&C's approach would be advanced by reference to formal computational theory, in particular the work of Grossberg. We suggest that an integration of Grossberg 's and D&C's models can provide a more complete account of extraversion.

Metabolic pathways underlying brain function remain largely unexplored during neurodevelopment, predominantly due to the lack of feasible techniques for use with awake infants. Broadband near-infrared spectroscopy provides the opportunity to explore the relationship between cerebral energy metabolism and blood oxygenation/haemodynamics through the measurement of changes in the oxidation state of mitochondrial respiratory chain enzyme cytochrome-c-oxidase alongside haemodynamic changes. We used a bNIRS system to measure ΔoxCCO and haemodynamics during functional activation in a group of 42 typically developing infants aged between (...) 4 and 7 months. bNIRS measurements were made over the right hemisphere over temporal, parietal and central cortical regions, in response to social and non-social visual and auditory stimuli. Both ΔoxCCO and Δ[HbO2] displayed larger activation for the social condition in comparison to the non-social condition. Integration of haemodynamic and metabolic signals revealed networks of stimulus-selective cortical regions that were not apparent from analysis of the individual bNIRS signals. These results provide the first spatially resolved measures of cerebral metabolic activity alongside haemodynamics during functional activation in infants. Measuring synchronised changes in metabolism and haemodynamics have the potential for uncovering the development of cortical specialisation in early infancy. (shrink)

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

Notre proximité fut toujours celle de deux existences singulières, même au sein du collectif de rédaction des Cahiers du Grif que j’avais fondés mais qui ne tenaient que par la force et la générosité de celles qui, comme Marcelle, avaient accepté d’en partager activement l’aventure. Il y fallait certes du commun. Mais c’était le commun d’une mise en commun qui ne faisait jamais un. Une volonté de faire un monde – et d’abord de faire une revue – avec des femmes (...) qui n’étaient pas nécessairement... (shrink)

A series of papers on different aspects of practical knowledge by Roderick Chisholm, Rudolf Haller, J. C. Nyiri, Eva Picardi, Joachim Schulte Roger Scruton, Barry Smith and Johan Wrede.

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

According to a received doctrine, espoused, by Karl Popper and Harry Collins, and taken for granted by many others, poorly replicated evidence should be epistemically defective and incapable of persuading scientists to accept the views it is used to argue for. But John Hughlings Jackson used poorly replicated clinical and post-mortem evidence to mount rationally compelling and influential arguments for a highly progressive theory of the organization of the brain and its functions. This paper sets out a number of (...) Jackson's arguments from his evidence and argues that they constitute a counter example against the received doctrine. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Las reflexiones recogidas en este volumen constituyeron, en su mayor parte, el contenido del Seminario de Semántica celebrado en la Universidad de Oviedo, y uno de los textos ("Léxico y cognición: ¿hay términos de base?") formó parte del programa de conferencias de Año Europeo de las Lenguas. Conforme al espíritu de esas jornadas centradas en la pluralidad lingüística, esta publicación se hace simultáneamente en dos lenguas: español y francés. Aunque se tomen como referencia aspectos concretos de dos lenguas concretas, la (...) española y la francesa, los problemas que aquí se suscitan son de índole general, ya que afectan, y de manera crucial, a todas las lenguas. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

The _Nicomachean Ethics_ is one of Aristotle’s most widely read and influential works. Ideas central to ethics—that happiness is the end of human endeavor, that moral virtue is formed through action and habituation, and that good action requires prudence—found their most powerful proponent in the person medieval scholars simply called “the Philosopher.” Drawing on their intimate knowledge of Aristotle’s thought, Robert C. Bartlett and Susan D. Collins have produced here an English-language translation of the _Ethics_ that is as remarkably (...) faithful to the original as it is graceful in its rendering. Aristotle is well known for the precision with which he chooses his words, and in this elegant translation his work has found its ideal match. Bartlett and Collins provide copious notes and a glossary providing context and further explanation for students, as well as an introduction and a substantial interpretive essay that sketch central arguments of the work and the seminal place of Aristotle’s _Ethics_ in his political philosophy as a whole. The _Nicomachean Ethics_ has engaged the serious interest of readers across centuries and civilizations—of peoples ancient, medieval, and modern; pagan, Christian, Muslim, and Jewish—and this new edition will take its place as the standard English-language translation. (shrink)

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

In his book The Austrian Mind (1972) W. M. Johnston observes that between 1861 and 1938 a striking number of Austrian intellectuals committed uicide. He also remarks that prior to 1920 suicide was relatively rare among Hungarian intellectuals, and as a possible explanation he refers to their more intensive political activity. The present paper investigates relations between a society's intellectual life and its general suicidal tendencies. In so doing it takes up a central theme of T. G. Masaryk's Suicide as (...) a Social Mass Phenomenon of Modern Civilization, published in Vienna in 1881. (shrink)